conjunction transformation

[数] 合取变换